$\forall$$n$:$\mathbb{Z}$. WellFnd\{i\}(\{$\ldots\,$$n$\};$x$,$y$.$x$ $>$ $y$)